Puzzle—More Logic Puzzle Apps Solved by Mathematical Programming

Programming by Logic and Logic by Programming

This paper is an extended abstract of parts I and II of a monograph with the same title being prepared by the authors. Logic was developed before the arrival of computers and it can be presented without reference to them. The main idea of the monograph is to stress the mutual links between logic and computer programming by taking those parts of logic which deal with computability and nitary log...

Decision Analysis with Logic and Mathematical Programming

Mathematical Foundations of Logic and Functional Programming

As an introduction, we give some examples of logic programs and the intended semantics of them. A logic program is simply a (not necessarily finite!) set of program clauses. That is, there is no particular ordering of the clauses as in the case, say, imperative programs: a program here is just a set of constraints, a set of logical formulas describing the world in which the programming environm...

Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming

The eplex library of the ECLPS Constraint Logic Programming platform allows the integration of Mathematical Programming techniques with its native Constraint Logic Programming techniques within the same unified framework. It provides an interface to state-of-the-art Mathematical Programming solvers, and a set of programming primitives that allow ‘hybrid’ techniques to be easily expressed. This ...

Towards the Integration of Constraint Logic Programming and Mathematical Programming

Preface During the first days of the new millennium I started my research project at Paragon Decision Technology in Haarlem, the Netherlands. That was January 3, 2000. Some 6 months later, the research project is finished, and the report is in front of the reader. As for the writer, a feeling of satisfaction has come over him. This thesis concerns a subject that is quite promising. Since it is ...